first-order predicate calculus
un. 一阶谓词演算
[网络] 第一阶述语运算
热门查询
- cortege n. 行列；一队随从
- reich n. 德国；德意志帝国
- Huntly [人名] [英格兰人、苏格兰人姓氏] 亨特利 Huntley的变体; [地名] [新西兰、英国] 亨特利
- trawl n. 拖网；排钩 vi. 用拖网捕鱼 vt. 用拖网捕鱼
- parrotfish n. 隆头鱼；鹦嘴鱼
- psychopath n. 精神病患者
- ornamented 花式字体的
- affiliate n. 联号；隶属的机构等 vt. 使附属；接纳；使紧密联系 vi. 参加，加入；发生联系
- regression n. 回归；退化；逆行；复原
- tornado n. [气象] 龙卷风；旋风；暴风；大雷雨 n. (Tornado)人名；(西)托纳多
- enhance vt. 提高；加强；增加
- Palla [地名] [博茨瓦纳] 帕拉
- Agassi 阿加西(人名)
- photosphere n. 光球，光球层
- git n. 饭桶，无用的人 n. (Git)人名；(俄)吉特
- photocopied adj. 影印的 v. 影印（photocopy的过去分词）
- radiated adj. 辐射的；放射状的；有辐射棱线的 v. 辐射；放出光芒；伸展（radiate的过去分词）
- unburden vt. 吐露；卸去...的负担
- philately n. 集邮；集邮者
- Walter n. 飞机应急雷达发射机
